Compound sentences and syntaxic predicative contructions

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Negating compound sentences

How do reasoners negate compound sentences, such as conjunctions of the form A and B and disjunctions of the form A or B or both? A theory based on mental models posits that reasoners negate each clause independently, and enumerate the various possibilities consistent with the negation. It makes a novel prediction: negations of conjunctions should be more difficult to comprehend than negations ...

متن کامل

Neural correlates of processing sentences and compound words in Chinese

Sentence reading involves multiple linguistic operations including processing of lexical and compositional semantics, and determining structural and grammatical relationships among words. Previous studies on Indo-European languages have associated left anterior temporal lobe (aTL) and left interior frontal gyrus (IFG) with reading sentences compared to reading unstructured word lists. To examin...

متن کامل

Predicative Logic and Formal Arithmetic

After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell’s Principia Mathematica with the axiom of infinity but without the axiom of reducibility. 1 Historical introduction After discovering the inconsistency in Frege’s Grundgesetze der Arithmetik, Russell proposed two changes: first, dropping the assumption that to every h...

متن کامل

Comments on Predicative Logic

The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...

متن کامل

Predicative Algebraic Set Theory

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Challenges of Science

سال: 2020

ISSN: 2707-9481

DOI: 10.31643/2020.033